mathematical logic

This introduced the idea of relative computability, or relative unsolvability, which opened up a new field of enquiry in mathematical logic.

这就引入了“相对可计算性”的观点，或者说相对不可计算性，于是开创了一个数理逻辑的新领域。

The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.

数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。

It is based on mathematical logic-based language function, based on the lambda calculus.

它是以数学逻辑为基础的函数式语言, 基于lambda演算.

In mathematical logic in the study is the main target of all kinds of calculus.

在数理逻辑中研究的主要对象是各种演算.

He made fundamental contributions to quantum mechanics, functional analysis, and mathematical logic.

他在量子力学 、 功能分析和数学逻辑方面做出了基础性的贡献.

Take the literature material law, the game video observation, mathematical statistics, logic analysis and other methods, high level of our country Blocker volleyball team players attack structure and the effect is analysed and some conclusions and recommendations. 1.

采取文献资料法，比赛录像观察法，数理统计法，逻辑分析法等研究方法，对我国高水平男排副攻队员进攻结构和效果进行分析并得出以下结论和建议。

Calculus of the mathematical logic of the grammar part.

演算的研究组成了数理逻辑的语法部分.

Therefore, the three basic laws are not applicable to orthodox mathematical logic.

故而, 传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.

This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.

数理逻辑思维方法在艺术设计中历来有广泛的运用,一般体现在比例、数列、尺度、模度等方面.

According to Gardner, in addition to Verbal-Linguistic Intelligences and Logic-Mathematical Intelligence, there are six other kinds of Intelligence: Visual-spatial Intelligence, Bodily-Kinesthetic Intelligence, Musical-Rhythmic Intelligence, Interpersonal Intelligence, Intrapersonal Intelligence, and Naturalist Intelligence.

加德纳认为人除了语言智能和数学逻辑智能之外，还有其它六种智能，分别是视觉空间智能、音乐智能、身体运动智能、人际交往智能和自我认识智能，自然观察智能。

Loosely, a mathematical or logic operator.

不严格地说, 一种数学或逻辑运算符.